differentiation of sec^-1(x)